“The cord is very short. What size extension cord should be used? Thanks!”