A plumber charges a fixed cost of $30 plus $25 for each hour of service. If he charged $80, how long was the service?​