Alat Potong Paving Block

Ada yang pernah lihat memotong paving block seperti apa?

Banyak yang dipukul pakai palu,
Tapi sebenarnya ada alatnya seperti ini...