Hi Guys, I'm pretty new to python ( but not programming in general) and have recieved my Pi this week. I have an ultrasonic sensor kicking around which I wanted setting up on a GPIO pin. In code I will need to send a High output for a brief amount of time (10 micro seconds think), turn pin into an i...