I'd have said "yes, absolutely". The repair shop would have had to take the laptop apart as much as they could to search for, and try to eliminate, any water that had got in. I'd have been surprised if they didn't remove the hard drive. It shouldn't cause you any problems in future - especially if, as you say, your laptop has now miraculously sprung back to life.
How did you notice it had been removed?