Corey Murphy earns $11.80 an hour for a regular 40-hour week at the pet store. His overtime pay is 1 ½ times his regular hourly rate. Last weekly Corey earned $613.60 in total pay. How many hours of overtime did he work?