Thanks for the reply about the BCD inflator.  It seems that the power
inflators are available under a number of different brand names for
$30-$50 or so.  I was just hoping to save something else from being
added to the great junk pile in the ground.
Be wet and well.
Dennis
--- PCBoard (R) v15.21/10
---------------