BobPlant, If you are just receiving (counting) pulses from some external device, just use a voltage divider set to give you 5 volts out from your 7.5 volt source. Then you can just use any pin as an input....

Dave Purola,
N8NTA