Replacement crank for classic Playskool Busy Gears

This is a replacement crank for the vintage Playskool Busy Gears set:

I did not have an original to model, so my version is a bit different (it has an octogonal interface and a print-in-place handle spinner for maximum fun).

The edges are rounded and bevelled for comfort, but I strongly advise not stepping on it barefoot.

The interface diameter is 25 mm x 12 mm, and the crank length is 70 mm (centre-to-centre). The print-in-place spinner is designed for 0.2 mm layer height.

To keep it as a single piece, it prints with supports under the crank body.