Hey Rusty,
I finally got it working perfectly! The issue was that the ordinary PWM library “RPi” used with the Raspberry Pi uses software PWM, which doesn’t have the accuracy to deliver that initialization pulse width. A library called PIGPIO uses hardware PWM and drives the Basic ESC perfectly though.
Thanks for the support,
Andrew