Pine Mountain Observatory is located on the top of Pine Mountain. A coincidence?