Where to buy the PIR module?
I’ve got mine here, but any similar module will do. For instance, I have also tried a similar sensor (paid about 8 EUR/22 May 2007 – from Artek) from the Parallax assortment with excellent results.