Die Gatekapazität eines Mosfet liegt im pF-Beeich. Da die Frequenz eh nur bei 125Hz liegt, kannst du das vernachlässigen.

Wenn dann macht die Treiberstufe nur Sinn, wenn du die Flankensteilheit erhöhen willst.