El nombre de "Charco de las pulgas" según tengo entendido fue cosa de los guancheros (casco) que como ellos se bañaban en la otra parte de del Charco del Viento, pues entiendo que quisieron darle un nombre despectivo, como gesto de rivalidad entre ambas zonas del municipio. Pero bueno, los santacatalineros nunca lo hemos llamado así, por tanto nunca se le ha dado más importancia.