I got it back not five minutes ago. New main circuit board, built-in flash repair (although it wasn't broken I guess mine was part of that first batch with potentially bad flashes so they fixed it pre-emptively) and cleaned CCD. All free of charge. It seems Pentax' International Warranty really works.
Thank you, Pentax! :-)