I just had a call from a client that will be installing one of these on a bidet he says it has a very short cord and needs a receptacle I assume gfci protected and I assume the bidet can not block the receptacle I assume it can be on the same circuit as the counter GFCI has anyone wired for one of these yet ??