Betonplatten außen rutschig. Wie rutschfest machen?

Mann kann sich eine Maschine ausleihen mit der die Oberfläche des Betons aufgeraut wird . Heist glaube ich Fräse. Kann aber nicht sagen, was das kostet. Kommt ja auch darauf an wie groß die Fläche ist. 

Anrauen und eine Paste/Putz drauf mit Körnung (kann man glaube ich so kaufen oder muss man sich zusammen mischen)

Sonst gibt es noch solche anstriche...

Austauschen gegen rutschfeste Platten.