Handheld belt sander?

Do we have an operating handheld belt sander at the space? If so what size belt does it take? I’m happy to buy my own belts but I have some material removal on a piece that would best be accomplished with a handheld belt sander and I don’t own one.

There is / was one in a drawer under the miter station. I don’t remember the size though so maybe someone else can verify its existence and size.

We also have a festoon belt sander