I haven’t seen any bots for WDW park reservations, just dining and Disneyland ones. Since park passes are phasing out, there’s not much bot activity there. For May 4th at Hollywood Studios, try refreshing the page often or using an auto-refresh extension (carefully, Disney can flag that).