Surprise, surprise! They found it hiding in the top of someone's tool box. The shop manager was picturing a much longer spacer because of the microfiche parts images but when placing the order to the machinist, he actually had my spacer in his hands. He soon realized what he'd overlooked, called me to tell me the good news and canceled his order for the new part. In return, he gave me about $60 worth of lubricants and filters so we are almost even.
Actual dimensions in case anyone ever needs them.
Part is also known as a distance pipe for search purposes.
ID=20.15mm
OD=28.00mm
Length=12.50mm