230290 "Josef Prusa" is real set?

[Eugen]

Was this set a real LEGO set? According to ID it is "Duck".

• https://blog.prusa3d.com/wp-content/uplo...2/lego.jpg
  
• https://twitter.com/josephprusa/status/1...8273700865
  

There was few similar MOCs on Lego.Ideas and Rebrickable:

• https://ideas.lego.com/projects/4e60af90...9e24b5ae07
  
• https://rebrickable.com/mocs/MOC-38505/A...ickscount/