I've now found the 5101 chips on several vintage electronics sites (pinball, etc).. Nowhere in the UK yet though.