RealVNC bekommst du umsonst.
http://www.realvnc.com/cgi-bin/download.cgi
Aber der Paketmanager deiner Wahl sollte einen VNC-Server gelistet haben.
Zum Bleistift, TightVNC.