From my point of view: a VBO that is only used once and then deallocated (i.e. the same buffer name is used again with a different size) will not be an optimisation because this causes extra cycles to be spent on memory management, and highly likely the fragmentation of video or AGP memory. As a result, if we haven't optimised specifically for this case it's most likely because there are lower overhead ways of doing the same thing.
However, I'd strongly suggest he contact our devrel department, who can give much more informed and authoritative advice than I can. They can both help improve usage of our chips and get formal performance issues filed against our drivers.
However, I'd strongly suggest he contact our devrel department, who can give much more informed and authoritative advice than I can. They can both help improve usage of our chips and get formal performance issues filed against our drivers.