"And what is the extent of the efficiency gain between 25/28 and 35?"

Difficult to quantify and possibly less than you think.

The discomfort gain, with correctly inflated tires, will probably be considerable.

Here's a guide to tire inflation: http://www.bccclub.org/documents/Tireinflation.pdf