Visited my truck this week to drop off parts. The pulley is 7" in diameter and 4" deep. Does that sound logical?