The times that I have made adjustments because of efficiency, I simply applied the percentage difference across the board. I have had good results with this. Since you are talking about 15%, I think it would be wise to scale back on all grains, expecially if your are talking about recipes with darker grains like roasted or carafa. Just my 2 cents.
mark
Beer Diary...