I asked because I had never heard anyone refer to the college lake and didn't know its real name.