Hello again Paul,
I will add that I've done extensive analysis of my piano sound versus numerous recordings at YouTube and it's clear that when both are using no pedal, mine is superior. When both are using the pedal, mine is superior. But when the recordings are using the pedal and mine is not the recordings are superior.
One main difference with virtual pianos is to get the full pedal resonance you have to have the pedal down before the note is struck. With a real piano, if you depress the pedal immediately after striking a note you will still get most of the resonance. I've checked this on my piano. But not with the virtual piano. And it's extremely difficult if not impossible to have the pedal down before the note without catching the previous note — unless you want an audible gap in sound. I've spent many hours working on this and analyzing all of this. Plus the pedal down samples would give a delightful sound to all notes that are played.
If desired, you could give the option of having the pedal down samples for every microphone position individually, in case some people wanted to mitigate the effect. But it should definitely be available for all the microphones.
I am currently just redoing the recordings I made years ago using your earlier Bösendorfer Imperial and the midi clips I made then, with your Steinway. Thanks, Phil