After reading back through the posts I could find, it would seem that oil in the bipipes is normal.
My paranoia is starting because the passenger side pipe is dry, but the driver’s side has a very noticeable amount of oil in it???
Oh, the guy did a lovely job tig welding it; hopefully that’s the end of the TBB problems forever for me!!!!