We do once in a while see them while in the sky at late night catching insects. Thanks for the information and happy you didn’t Have a very huge problem… just the one bat.
Bat repellents like mothballs or aluminum https://youtu.be/5a6xTNW8_fI?si=lZKaI0o8S7stV5md