A boost converter would be a big mistake as I'm now using 15V of LED in series with an 18V source. A buck converter might do OK, but at the moment I've no way to justify the cost and complexity of adding another circuit. I measured 4.41V across the resistor (73.3ohms), so that gives about 60mA. 60mA, across 12 parallel sets, means 5mA per LED right now. 5mA times 2.5V makes 12.5mW, times 72 LEDs makes for less than 1W. Unless I screwed up my math somewhere, I'm using less than 1W for the LEDs, less than 1/4W for the "waste," and it's still really bright.