It turned out that despite my google-fu there isn’t a published repair manual to be found, Philips does not offer replacement parts anywhere oh and actually it’s a rebranded machine from Saeco...
So I just started taking it apart as the warranty had expired anyway. Took a bit of doing but ultimately found out that the motor for the bean grinder was broken.
With some luck by typing in some numbers printed on it I managed to find a place that sells them. With that it was a fairly easy fix that cost me 40 euros and an hour or three instead of 300+ for a new machine.
Also there is sweet satisfaction form having fixed a thing