#WB1.2
The track buffers are 15K per disk, including other overhead, as best I
know. You could find out by disconnecting df1: and booting up, checking
the difference in mem for a "virgin" system. ( Then again, that would
include an extra process for df1:. )