Sweet! I love it! I don’t know much about them, but personally, I’d see what happens when you plug it in. I wouldn’t be surprised if it needs some new tubes (which are not expensive) and cleaned or replaced pots.
You may want to check prices on it as it may be worth more than one would guess. I had a little vibro champ (a little fender practice amp) when I was a kid. As an adult, I wanted to pick one up again for a nostalgic practice amp… they were ridiculous in price. I ended up getting a new amp as the nostalgia wasn’t worth it to me. Also, if you care about value, don’t try to make it look new (at least before checking). Legitimately old looking stuff is usually worth more than one returned to like new condition. As I was typing, I got curious… pulled the 5F1 up on Reverb, and saw prices from $2000 to over $4000!!!