Dual 1011 as a daily driver

I was in the market for a second hand record player (I like vintage) and I stumbled across this 1964 (I think?) Dual 1011, full set, seems to be working though considering its age it’ll probably benefit from servicing, I have nothing but 33s in my collection, anyone who previously owned a Dual give me some tips? Maybe steer me into a better option if this is a stupid move? I used to own a Fisher 7000 series which is at my parents place right now.