How many amateur astronomers does it take to fix a tire puncture?