Just checking on the name of a pinball seller. Anyone on this forum deal with a Rob McCarthy? Thanks.