You can also get that same sensor straight from
www.parallax.com
you just need to make sure they have it in stock and can get it to you. There is a good example of how to read the input somewhere on these boards and the datasheet from parallax helps as well, but yeah, that sensor requires the use of a timer and interrupts.