EPF Message from Rookie (July 18, 2014) -- Rookie's Lost His Wrench

That cruise ship is HUGE! I was wandering around inside and I lost my wrench. Anyone know where it is?