They're not the cheapest tool though, and how many more times will he use it? Maybe a couple.
I know for at least d-series, the haynes manual calls for sticking a flathead screwdriver into the flywheel, and I know thats what worked for me, but I don't know if b-series would be the same or not.