Rfid-repurpose a 125khz to 134.2khz

Is there a way to use this Arduino Playground - DIYRFIDReader but for 134.2khz?

Theres virtually very little information about this freq.