I did not know David (Taxman) personally,
but we interacted often on the Pinside Visual Quiz Show guessing game topic.
He was an prolific and excellent clue giver and guesser.
https://pinside.com/pinball/forum/topic/the-pinball-visual-quiz-show/page/76#post-5485201
Showing my ignorance, I always thought his pinside moniker "Taxman"
referred to his possible work as an tax accountant,
but now realized it is a play on his last name
He will be missed
RIP Taxman.