I disconnected the ground from the broken coil mount and reconnected it to the rh coil mount.
Then the loose coil needed to be retained, but with what?
After a bit of head scratching, I got it.
Walking up my driveway to the shed, I detoured via the fridge and grabbed a bloody cold Melbourne Bitter stubbie. Then onwards to the shed and grabbed just the right cable tie.
Put it all back together over a cold beer and was back on the road thirty minutes later for a 300 k round trip to see the folks.