I think I shot too high in my first post; going with an interrupt.
All I really want to do is sense when Pin 12 (UART1_RX) goes low (button push). I can do that in the main loop too, so how about an example of pin 12 being put into GPIO mode and then read as a digital input?