WD-40 to clean electric contacts?

I'm on vacation and renting a room, and my landlady has a combination
CD/Radio/Cassette?, very compact, portable, works well except fo the
little on/off/CD slide switch.

The switch doesn't easily make contact, even when pushed to and past
the On position. So it's hard to get the radio on, and it turns off
by itself in about 30 minutes. Moving the switch back and forth 10
times to clean it hasn't worked yet.

Normally what I would do is spray contact cleaner or tuner cleaner in
the switch from above, where the plastic slider that goes over the
switch is, And normally that doesn't accomplish much.

Even taking such things apart and spraying the switch from underneath
has taken longer to work than for rheostats, for example, and here I
don't want to take it apart. She's only my landlady.

I don't know where in this non-English-speaking country to buy
contact cleaner and she might balk at the extra money, but she does
have something in an aerosol can that looks mighty like WD-40.

I have this vague recollection that WD-40 is good to clean electric
contacts?? Either that or it's bad for them. Should I try it.

BTW, I want to use the radio, so that's one big reason I want it
fixed. When it stopped playing while she was there, she said, "Oh,
yeah, maybe that's why I bought another one" (She speaks English.)