Do your search for "DC to DC Converter" or "DC to DC Power Supply". Regulator is not a common term for them.
7.5V is not going to be common. Look for one with an adjustable output voltage that will cover that within it's range. Those in dpc's link should fit the bill however, if you get the 8V unit and adjust the output.