A repairman charges $55 for a home visit plus $45 per hour for the time he spends making repairs. How many hours did he work if he was paid $212.50 for a home visit? Round to the nearest tenth.