Yes... Those are genuine Happ buttons... Lots of people deal in them.
If you need those then go back to Divemaster, or talk to Ponyboy, he had them in stock last time I looked. Both of them supply them for slightly less than that site.
Best Regards,
Julian (Fozzy The Bear)