Unless he has a 5 dollar Basix pedal he’s not going to have a bad time
It's just an old Yamaha pedal. Seems to work!
Thanks so much for everyone's advice so far. I'm practicing both techniques (when I can find the time): they seem to complement one another anyway, I think? I find if I play heel up for fifteen minutes, my heel down playing gets better and vice versa...