Pulling it was a good idea. The tooth has been fractured for years and we've been babying it along. When he first tried to pull it, the entire top of the tooth separated from the roots and fell into two halves with an accompanying bad smell.
It'll take a while to get used to it not being there, but it was definitely time for it to go.