MrMark:
The HC-SR04 modules that look like this apparently will work at lower voltages per "wvmarle" post. Note the designation on this board is HC-SR04P:
Yes, the second ones are exactly like the sensors I have, including the HC-SR04P designation on the back (on the front it's HC-SR04, without the P). Working fine on 3.3V.