Kikusui PAX35-10 High Speed Programmable DC Power Supply